// This CSS only exists to allow overiding of Default Theme in JQueryUI